Can Congress drag the 1872 Mining Law into the 21st century?