With the events of 9-11 and other terrorist threats, I heard the US cut funds for NASA, redirecting them to the army and intelligence agencies. Did anyone hear more about this?