Highest temperature in Mexico City on July 20? — Whale Trades