朝鲜首艘核攻击潜艇以他命名。谁是金君玉？