It does not. That is not economically mined. Last big hard coal producer in EU - Poland, has extraction cost x2 or x3 of the mountain top removal mining in US. This sector is shrinking rapidly. Poland coal production came back to ~1915 levels (taking into account current PL territory). This sector would be closed already if not for massive subsidies.