dancingalone
Grandmaster
Doubtful...
...General Choi recruited existing talent both inside and ouside Korea, (much more efficient than starting with only beginners) had them adopt the new name and system, developed instructors, dispatched them throughout the workd to demonstrate using the best athletes whose athletic performance would impress spectators, and dispatched instructors throughout the world to teach.
Some of the early teachers of Korean karate within the USA included Sihak "Henry" Cho and Jhoon Rhee. They both later began to use "tae kwon do" as the name of their style. It would settle things pretty strongly for my purposes if we knew for sure how much of a role, if any, General Choi played in their emigration to the United States. These men had profound impact on the growth of TKD in their regions in their day.