https://austin.com/oldest-swimming-pool-in-texas-deep-eddy-pool/
Oldest Swimming Pool in Texas: Deep Eddy Pool