Royal Caribbean International, formerly Royal Caribbean Cruise Line, is a cruise line founded in 1968 in Norway and organized as a wholly owned subsidiary of Royal Caribbean Group since 1997. From Wikipedia
Royal Caribbean says the episode is under investigation following a response by Miami-Dade Fire Rescue.