Historic public swimming pool, established in 1937, was once the largest in the world, holding 2.5 million gallons of water. It features a deep end, diving …