coal industry

noun

1.
the producers of coal considered collectively