질문자분이 언급하신 분들 외에도 한국에서 공식적으로 기록된 가장 키가 큰 사람은 장진홍 씨로, 그의 키는 약 234cm로 알려져 있습니다. 그는 20세기 초에 생존했던 인물로, 현재 일반 대중들에게 잘 알려져 있지는 않지만, 그의 기록은 한국 역사상 가장 큰 키를 가진 사람으로 기록되어 있습니다. 당시의 정확한 측정 방법이나 자료가 부족할 수 있어 현재의 공신력 있는 기록과는 차이가 있을 수 있습니다. 추가적인 정보는 역사적인 기록이나 관련 문헌을 통해 찾아보시는 것도 도움이 될 것입니다.