Donnchad mac Toirdhelbaich — king