Highest temperature in Tokyo on July 1? — Whale Trades