It was the warmest summer for the contiguous United States overall.