Highest temperature in NYC on October 3: Prediction Markets & Forecast