Home NationalBusiness Mining industry employed nearly 17 000 in 2017