Исторические персонажи и мифология: Гиппий из Элиды