FILE - Workers remove sign lettering at the Pentagon after President Donald Trump signed an executive order aiming to rename the Department of Defense the Department of War in Washington, Sept. 5, 2025. (AP Photo/Mike Pesoli, File)