person , general manager of the underground coal mine .