The Royal Caribbean line seems to name all its onboard casinos "Casino Royale"... while the Carnival Cruise line
appears to have a different name for each ship's casino... here are a few examples: