Hardrock Mining, the 1872 Law, and the U.S. Economy