The Mining Law of 1872 door