洪涉

世宗實錄

莊憲王四年五月辛酉

慶尙右道水軍都按撫處置使洪涉卒。