Is Royal Caribbean Cruises Ltd. (NYSE:RCL) Overpaying Its CEO?