The shutdown cost the US economy more than Trump wanted for the border wall