ledaren , Irlands okrönte konung ,såsom