Muiredach mac Domnaill Midi — Irish king