¿Qué pasa si la NASA tiene el presupuesto militar de los EE. UU.?