The U.S. government has partially shut down; more than 800,000 federal workers are affected.