According to US media reports on November 9, the US Senate has reached an agreement to end the federal government shutdown.