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