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