I heard Tae Kwon Do is from Karate and Taekyon, General Choi mix them both up and form a new martial art called Tae Kwon Do