字晦夫朝鲜状元有西坰集。