The pandemic's lasting effects on the future of casinos