Los barcos capturados por la flota inglesa fueron llevados hasta el puerto de Gibraltar.