Как звали царя в «Сказке о золотом петушке»?

Царь Дадон, прототипом которого мог послужить какой-то грузинский царь 9-10 века.