Dolphin jumping in a pool