General Choi Hong Hi, fallecido a los 83 años, era el padre de