What year was the Republic of Ireland formed?