Military history of the Republic of Ireland