South Korea exports hit July record despite US tariff pressures