Korea’s chip exports hit record high