Ch'oe, Sŏk-pŏm (Water resources engineer)