Mỏ than Bản Khê Hồ – Theo ngôn ngữ khác