“the founder of Korean Sŏn tradition”