Highest temperature in Denver on July 20? — Whale Trades