What should be the name of the first nuclear submarine?

I am not sure if it would suit a submarine name since there is already a Sejong the Great-class destroyer line, but I think Taejong (Yi Bang-won) is also worth recommending.
While Yi Seong-gye founded the dynasty, the foundation of Joseon began to be established during the reign of Taejong and continued through his son and grandson...
With the hope that our nuclear submarine capabilities grow well, I am thinking that a Taejong-class could also be a good option.