Source: https://politics.stackexchange.com/questions/2115/will-government-workers-furloughed-during-the-shutdown-be-paid-later