«Seo Hui», le nom d'un nouveau sous-marin sud-coréen de 3.600 tonnes