they are not included in a country file as they are belong to a specific country. There is also a 'country' file called 'no-country', they are included there and in the allcountries file. The allcountries file includes all records even those not belonging to a specific country.