what if nasa had the us military budget