Trump’s border wall is getting a taxpayer-funded paint job