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