It’s the Trump admin signature big number that goes on all documents, not a reference to real money that exists or is genuinely expected to exist.

Sure, I'm just saying congress wouldn't fund that if asked.