— Flygtingar ha anländt till Gibraltar.