Summers in Washington DC are torrid.