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