A shutdown would have made it easier for Trump to shut down government.