He was also known as Taejong.
Ia juga dikenal sebagai Taejong.