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