Perote, Gil, active 1757-1779, Soldier at Gibraltar