South Korea’s exports hit record high of $55.44b in July