Shipboard tipping
A tip is not a tip if it is mandatory or coerced. In that case it is a passenger service fee and should be listed along with port charges, transfer fees and whatever as part of the total cost of the trip.
My own preference is for the cruise lines to pay competitive, living wages to their employees and then have tips reserved for extraordinary service beyond what would ordinarily be expected.