Martin, James G. Executive orders: Executive Order No. 125: Amendment of Executive Order Number 71