It’s rather hard to bomb a mine.
When you bomb coal, you are doing the miners’ job for them.
Either your explosives or theirs; which makes more sense?