Hardy, William writer on mining