Vid tonerna af den portugisiska nationalsången,