what is a dipping pool