Royal Caribbean Cruises Ltd. changed its name to Royal Caribbean Group on July 10, 2020. So I am referring to the cruise line I've been cruising for way before that.
But more importantly, I can call it whatever I want to. I do not resent your clarification, I resent the way you went about it.