Highest temperature in San Francisco on July 23? — Whale Trades