om en flottmnnöver tillänmades vid Gibraltar.