Máel Ruanaid mac Donnchada Midi — Irish king