Highest temperature in London on October 17: Prediction Markets & Forecast