$5m by 1985, with another $3.5m earmarked [1]. Accounting generously for inflation, that's $25m today [2]. It would be interesting to know what the price would look like if they tried the same thing today.
[1] https://archive.macleans.ca/article/1985/11/4/the-pentagon-f...
[2] https://www.inflationtool.com/us-dollar/1981-to-present-valu...