The shell (names) have been there but Korean martial have been gone for a long time! The historical record is that many Koreans became masters of Shotokan and when the nation building era came into being, a few masters got together to re-engineer what we call Moodukwon, TKD, Tangsodo, etc.

Korea at one time did have a martial arts tradition but someway along the way, it got lost and the remnants (like taekyon, etc) are limited in their redefinition of KMA.