National Guard patrol streets of DC on Christmas Eve