“We have, therefore, directed the Irish Army authorities to have field hospitals established in County Donegal adjacent to Derry and at other points along the Border where they may be necessary.”