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