Muircheartach Ó Briain — king of Thomond