Porto is part of Portugal