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