Argentina recorded $4.7 billion in mining export revenue during the first half of the year, with lithium shipments rising 68% from a year earlier and accounting for about a quarter of the sector’s exports.