The problem with this argument is that the _original_ Department of War is now called the Department of the Army, which existed alongside the Department of the Navy. Besides, it’s a moot point unless Congress actually changes the name.