What happens after you flush the toilet on a cruise ship?