According to Geoffrey, the King of Ireland who was defeated when Arthur invaded that country.
No such king of Ireland is known to history.
