From the sources I found (from 2017) GDP per capita is $52,536 (from Open Data Network), and population is 393,292 (US Census Bureau), giving a GDP of right around $20B.
We’ve already spent 14 on it, and will continue to need to spend indefinitely, so the numbers really aren’t great.