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