Whether the shutdown would actually end remained an open question for much of its duration, but increasing pressure, and a ...