Highest temperature in Houston on June 25? — Whale Trades