Lee Yeong-hun (이영훈) or Ri Yŏng-hun (리영훈) is the name of: