House votes to officially rename the Defense Department the Department of War, a change the Congressional Budget Office says could cost $125 million.