Highest temperature in Tokyo on July 25? — Whale Trades