The Mining Law of 1872 by