NUEVO: El informe de la Oficina de Presupuesto del Congreso estima un coste de entre 10 y 125 millones de dólares para cambiar el nombre del Departamento de Defensa a "Departamento de Guerra"