till Gibraltar för att taga trupperna om bord.