machine names used for coal miningmachine names secondhand for coal mining