The cruise line celebrates many religious holidays, but it does draw a line in the sand when it comes to one thing.
That logic applies in gamerooms as well. Passengers used to play board games and card games left on the ship for communal use ...