What happens to the mining industry when every part of the earth has been drilled and there is nothing left to drill?