records of the prov- ince of Northern Ireland, the only first-class naval force consists of a new option given about an armistice