Celebrated annually on July 11, National Pool Day pays tribute to one of the most popular summer pastimes: the pool. Whether public or private, swimming pools are a symbol of…