US government partially shuts down over Trump’s wall