Highest temperature in Busan on October 15: Prediction Markets & Forecast