There is not taekyon in taekwondo, it was a strategic move by the General Choi to expand the popularity of taekwondo, it was in a ceremony in which the general choi brigade was making a martial arts show, the korean president of that time says something about the art that was practicing the soldiers, he says it was taekyon and General Choi didn't want to tell him that it was Korean karate o tang so do, so he makes the brilliant name of taekwon-Do
Probably true. My grandmaster was a captain under General Choi at that time. Though General Choi was the leader ( He was the general) the real grandmaster behind O-do Kwan ( the military style) was Nam Tae-Hi.