Glenveagh Lake, Glenveagh National Park, Co. Donegal, Ireland