Changing the name now will be costly and require updating signs and letterheads used not only by officials at the Pentagon, ...