countries: Countries = ...