How did the mining industry treat COVID-19 in Q2 2024 filings?