Highest temperature in Los Angeles on October 17: Prediction Markets & Forecast