Did you know that the World War I American War Memorial at Gibraltar also commemorates Operation Torch of World War II ?