Đinh Tiên Hoàng – Theo ngôn ngữ khác