“Department of War” Name Change, Which Isn’t Even Official, Will Cost $2 Billion