Coal" works (?).
A place where coal is dug, including the machinery for raising the coal.
© Webster 1913.