En su conjunto, los envíos al exterior crecieron 7,9%, mientras que aquellas del mineral rojo se expandieron 11%.