The 1872 Mining Law applies to SRHA lands