vua hùng tên thật là gì