"was King Hathatha Rignamputsan."