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