text:  Well, yeah, I mean, I think that what the original cost, and don't quote me on this, but I'm pretty sure I'm right on this, was around $18 to $20 billion when it originally started under President Trump.