Carnival Cruise Is Phasing Out a Ship Amenity That’s Beloved By Some—and Completely Unknown to Others