The English term "Gibraltar" matches the Dutch term "Gibraltar"