"dipping pool" or "plunge basin,"