Mining industry well prepared to tackle Covid-19 with new, existing protocols