A mine from which coal ore or coal minerals are mined.
Any region containing deposits of coal that may be mined.