Macau operators achieved record mass gaming revenues in 4Q23