Saw these mine tailings a few miles east of the Lost Dutchman state park. What kind of mining would have been done there?