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