우리나라에서 가장 키가 큰 사람은 누구였나요?

최근에 갑자기 궁금해져서, 우리나라 길다면 긴 역사 속에서 가장 키가 컸던 사람은 누구 였는지,

기록이 남아있는지

궁금하여 질문드립니다.