The impact of COVID-19 on the global casino industry