»Hošiminh« proti »Ho Ši Minh«: dve lastni imeni?