조선의 왕들 중 세종 '이도'부터 대부분 외자 이름을 사용했습니다. 그래도 태조 이성계처럼 3글자 이름을 쓴 왕이 있을 것 같은데, 조선의 왕들 중 성을 포함한 이름이 3글자인 왕은 누구인가요?