How to fund Trump’s wall