I don’t think there is a pool in the White House anymore, must have been at the Naval Observatory.
Whatever, everybody knew what I was talking about. :-D
from Wikipedia:
In 1969, to accommodate the growing number of reporters assigned to the White House, President Richard Nixon had the indoor swimming pool, which had been installed by the March of Dimes for Franklin D. Roosevelt, covered and turned into press offices and a lounge that could double as a briefing room.