“姜健”号驱逐舰正式入列朝鲜海军姜健号驱逐舰是哪个国家造的？