Highest temperature in San Francisco on October 18: Prediction Markets & Forecast