Araṇemi, king