vet ej ännu bestämdt de Portugiska krigsskeppens öde.