Cho, Chin-t'ae (Writer of Korean history)