Gibraltar , som engelsmännen tog från spanjoren.