Murchad mac Diarmata, king of Leinster