Should Trump have let the government shutdown?