Tae Kwon Do is a Korean martial art