What Trump said about ending the government shutdown