《明史·列传·卷四十二》
访求陈民的后代，但找不到，便设交趾布政司，将其土地内属于朝廷。
求陈氏后不得，遂设交阯布政司，以其地内属。
He tried to look for descendants of the people of the Chen Dynasty, but he couldn't find any, so he set up the Giao Chi Provincial Administration and annexed its territory into the territory of the imperial court.