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