government shutdown avoided