Muirecán mac Diarmata, king of Leinster