On November 9, the Senate voted 60-40 to end the then-nearly 40-day U.S. government shutdown, hammering out a continuing ...