Mario Salcedo, endearingly known as “Super Mario,” has reached an extraordinary milestone: his 1,000th cruise with Royal ...