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