ending the partial shutdown of the federal government