The miner exported 85.7 million tons of iron ore in the three months to December 31, down 1% from the year before. Meanwhile, ...