Barton Springs Pool, Estados Unidos