Before the pool was built, people swam, camped and picnicked at a beach named for a swirling eddy created by a huge rock ...