What is a person who works in a coal mine called?

what is the person who works in a coal mine called?

A MINER!!!