I have no problem with renaming the Department of Defense into the Department of War, as Donald Trump is trying to do. (It’s technically not up to the president but to Congress, but the Republicans ...