person in a mining company