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