Highest temperature in NYC on July 20? — Whale Trades