Highest temperature in Seattle on July 23? — Whale Trades