Trump’s border wall keeps getting shorter and more expensive