Oil-shales. Executive order, to authorize oil and gas permits and leases on withdrawn oil-shale lands.