countries: readonly Country[] = ...