Category:Military history of the Republic of Ireland