Donnchad mac Murchada, king of Leinster