Pennsylvania. Executive order [detaching part of 9th internal revenue district of Pennsylvania and constituting same as 12th district of Pennsylvania].