Chʻoe, Hŭi-sŏn martial artist.