I’m assuming you picked coal mining because it’s an example of a dirty, dangerous position in an industry that’s rightfully stigmatised by most modern countries.
If you’re suggesting that we shouldn’t push women into dangerous jobs but it’s okay to push men into them, then I would counter that we should make dangerous jobs safer for everybody and no, there’s no fundamental reason that women should not have the opportunity to work in these industries.
No I didn't suggest this.
My question was not about energy policies. Let's substitute coal miners for waste collectors (colloquially referred to as garbage men, because 99% of them are male), and ask the question again.
Garbage collection is male dominated -- should we push more women into becoming garbage collectors?
On the other hand, ~42% of meat processors are women; that is certainly a dirty, dangerous unfun job.
The real male-dominated industries are lawn care, sewage treatment, and repair and maintenance. Coal mining is too small an industry to report demographics, but mining as a whole is "only" ~88% male.
I honestly don't know where I stand on that. While I absolutely believe that much of the disparity in preference is cultural, I'm apt to believe that some of it is biological. Further, I'm not sure eradicating that cultural bias is beneficial.