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