Government officials and employees. Executive order, participation in government of Arlington County, Va., by Federal employees permanently residing therein.