tools used to mine for gold in1800 grinding mill china