Donnchad mac Gilla Pádraig — king of Ossory, King of Leinster