Highest temperature in San Francisco on June 4? | Polytreasury: Prediction Market Automation