Mun-jung Sŏ

1634 – 1709