President Trump has signed an executive order declaring a national emergency in the mining industry