Murchad Midi — Irish king