Eisenhower was the first non-British person to command Gibraltar in 200 years