It is summer, and you will probably lounge near a pool at least once in the coming months. You will be outside, squinting your eyes from the sun and probably getting burned. It wasn’t always like this. At the turn of the century, the most exclusive pools in Washington, D.C. were underground.