Highest temperature in Denver on July 24? — Whale Trades