« Les armes les plus puissantes à bord » : c’est quoi le Choe Hyon, le destroyer nucléaire endommagé par la Corée du Nord ?