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