Wall Street Journal: Trump Administration Planned to Rename Department of Defense to Department of War