Highest temperature in Seattle on October 5: Prediction Markets & Forecast