Mario Salcedo recently clocked up his 1,000th voyage with Royal Caribbean and is known as 'Super Mario' in cruise circles.