Gringos v. Mineros: The Hispanic Origins of Western American Mining Law