Toirdhealbhach Donn Ó Briain — king of Thomond