Is Cruise tipping really optional? Guests on Oceania get a nudge up in recommended gratuities