Find the emperor's tomb the locals still call the mandarin's grave

A thousand years on, the village name still demotes him: Ma Quan, the mandarin's grave, folk memory of Le Hoan having been a subject of the Dinh before he took the throne.