Mangum, Okla. Executive order [concerning discontinuance of Mangum land district].