Arsenals. Executive order [amending Executive order of May 14, 1909, permitting employees in vicinity of any navy yard or station to participate in local elections, so as to include arsenals and other military establishments].