"The Biography of the Hồng Bàng Clan as a Medieval Vietnamese Invented Tradition".
Như vậy tên của Động Đình Quân là Thần Long. ^ The Biography of the Hồng Bàng Clan as a Medieval Vietnamese Invented Tradition.