Federal update: Government shutdown ends, more

From Nov.