Martin, James G. Executive orders: Executive Order No. 160: Amendment to Executive Order Number 152