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