La venta de carbón colombiano al mundo generó ingresos por US$ 7.000 millones, pese a menor caída en el valor