Is the government still shut down?