Some lines, including Carnival, are prohibiting smoking in casinos in the near term. And while many are encouraging passengers to get a coronavirus booster shot, they are not mandating it. The world’s biggest cruise lines, Carnival and Royal Caribbean, said crew members are getting boosters once eligible.