Department of Labor and mining’