Atlantic City casinos were less profitable in 2023 even with a boost from New Jersey’s booming online gambling market