Donald Trump rebrands Department of Defense as Department of War, 5 September 2025