The Pentagon is preparing to spend $8 billion on Trump’s wall