How many main styles of taekwondo are there ?
" Traditional taekwondo " typically refers to the martial art as it was established in the 1950s and 1960s in the South Korean military and in various civilian organizations , including schools and universities .