Not in official histories, but in the unofficial Ngọc phả Hùng Vương "Hùng kings' Jade Genealogies". Phan Duy Kha (2012) "'Decoding' the Hung Kings' Jade Genealogies". Publisher: Bảo Tàng Lịch Sử Quốc Gia (Vietnamese National Museum of History)
Ngô Sĩ Liên , Đại Việt sử ký toàn thư, "Records about the Hồng Bàng clan - Hung Kings" quote: "貉龍君之子也〈缺諱〉。都峯州〈今白鶴縣是也〉。" translation: "Lạc Long Quân's son (taboo name unknown) established his capital in Phong Châu, (now in Bạch Hạc prefecture)"
Anh Thư Hà, Hò̂ng Đức Trà̂n (2000). A brief chronology of Vietnam's history p. 4 quote: "while the remaining sons followed their father to the sea in the South, except for the eldest who was assigned to succeed his father as the next King Hùng. King Hùng named his country Văn Lang with Phong Châu (Bạch Hạc district, Phú Thọ ..."