That's what people are saying on this thread, cash tips are surrendered and put in the pool like nothing ever happened.
Regardless, it's not my responsibility to tip people I never come into contact with. If they are tipped out of the pool, fine, but I don't tip the dishwasher at Chili's so I don't feel like I need to tip the dishwasher on Carnival.