Receita com exportação de minério cresce 4,2% ( Jornal Diário do Comércio )