is donegal part of the republic of ireland