Judge Cole ordered the North Carolina Department of Environmental Quality to halt mining operations by 2031.