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