外国人名の呼び方、発音、意味や当て字

ギリシャ語で『英雄の子孫』を意味するHerodesに由来。ヘブライ語名Hordosのギリシャ語形。