original hard rock mining in the1800