Highest temperature in Miami on October 5: Prediction Markets & Forecast