Even for Hyundai Heavy Industries (HHI), the world’s largest shipyard group, it was a remarkable occasion. In a quadruple naming…