Dolphin jumping in a pool with splashing water