Federal workers demonstrate against the government shutdown in front of the US Capitol in Washington on October 4, 2013. The US government shut down for the first time in 17 years on October 1 after lawmakers failed to reach a budget deal by the end of the fiscal year.