Flottan afgick till Gibraltar.