The Trump administration's push to change the Defense Department's name to the Department of War could cost nine figures, ...