Highest temperature in Houston on October 17: Prediction Markets & Forecast