Royal Caribbean named passenger Mario Salcedo, aka “Super Mario,” as its top cruiser for taking more than 1,000 cruises with ...