I suppose they do, but that doesn't imply "Department of War" is any less shameful, except for the fact that we know Trump doesn't have shame and only wants to change the name because it makes him sound more authoritarian.