n.
2 definitions — Webster’s Dictionary (1828)
The place where coal is dug; a coal mine, and the buildings, etc., belonging to it.
The coal trade. [Obs.] Johnson.
98,828 entries. Headwords are matched first, then definition text.