El Paso County Offices Operating Normal Hours Monday, December 16