Die Umbenennung des Verteidigungsministeriums in "Ministerium für Krieg" würde laut einem neuen Bericht des Congressional Budget Office zwischen 10 Millionen und 125 Millionen Dollar kosten.