You don't seem to know anything about TKD history. General Choi was the one who submitted the name Taekwon-do...
I'm afraid Dirty Dog is right, Laplace. The claim that General Choi invented the name is widely disputed outside ITF-circles. There's widespread acknowledgement that General Choi strongly advocated for the adoption of the name, but there's no hard evidence that he invented the name. In fact there are some folks who lived through that era who claim he did not invent the name at all, but even they do admit that - in any case - he at least
liked the name early-on and ran with it, promoting the adoption of that name among fellow kwan leaders.
So here's an analogy: suppose the lead singer of the band Fun! (Nate Reuss) joined the band Maroon 5, and then convinced the band to change their name to The Lemmings - whether he came up with the name or not. Now suppose The Lemmings perform on-stage for a couple years, and release a few albums, then Nate Reuss quits the band. Does Nate get to take the name of the band with him? Or does the band still get to call itself the Lemmings? I would argue: the
band's name is the Lemmings, whether Nate is in the band or not. Nate needs to find himself a new name for his band.
By analogy, in 1965 when General Choi rejoined the Korea Tae Soo Do Association as its president, he convinced the KTA to rename itself to the Korea Taekwondo Association. Then in 1966 General Choi left the KTA to form the ITF. I think a person could make a reasonable argument that the name belongs to the KTA, not to General Choi personally. But I think a reasonable person could also argue that it really doesn't make any difference...taekwondo can have different styles, just like karate can have different styles.
If you haven't read through this yet, you really should read it:
Timeline of Taekwondo - Taekwondo Wiki Or at least read this:
http://web.stanford.edu/group/Taekwondo/documents/tkd_history.pdf