Minería de roca dura original en el 1800