President Trump to change the name of the Department of Defense