Produção de carvão das empresas estatais chinesas atinge 1,13 bilhão de toneladas em 2023