Lowest temperature in Dallas on October 2: Prediction Markets & Forecast