What was the name of the first public pool

The first public pool was known as "The Deep Eddy" and was located in Austin, Texas.