NEU: Der Bericht des Congressional Budget Office schätzt die Kosten für die Umbenennung des Verteidigungsministeriums in "Ministerium für Krieg" auf zwischen 10 Millionen und 125 Millionen Dollar.