“Jason Liberty, who worked with Richard Fain for 20 years, has succeeded him as the leader of Royal Caribbean.”