Through this executive order, the ban on new mining permits that was in place since 2017 was effectively lifted