Source: https://politics.stackexchange.com/questions/9168/does-the-new-budget-deal-avert-the-december-11-government-shutdown