flaggan på fartygen nedtogs och den portugisiska hissades i stället.