Martin, James G. Executive orders: Executive Order No. 102: Amendment to Executive Order Number 88: Columbus Voyages Quincentenary Commission