Did the government shut down?