Besättningen hade ankommit till Gibraltar.