Highest temperature in Denver on July 22? — Whale Trades