“姜健”号驱逐舰正式入列朝鲜海军。（新华社）