Domnall Gerrlámhach — King of Dublin