“姜健”号驱逐舰正式入列朝鲜海军为什么叫姜健号