Military of the Republic of Ireland