Q1 2024 update: mentions of COVID-19 in mining industry filings