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