Highest temperature in Mexico City on June 4? | Polytreasury: Prediction Market Automation