hade anländt till Gibraltar.