Royal Caribbean named passenger Mario Salcedo, aka “Super Mario,” as its top cruiser for taking more than 1,000 cruises with the cruise line. An excursion boat carrying 38 passengers from ...