America makes like $20 trillion in new goods and services every year. We are so past the point of caring about $13 billion.

Want to cut costs? We have 14 nuclear deterrent submarines that cost $20 billion each. Their only job is to end the world. I think we could do that with just five subs.