Cruise lines often have special menus for holidays. For example, I took a Christmas-week cruise a couple of years ago, and Carnival’s menu offered several traditional Christmas-style choices ...