Travieso, Martin. Executive order, designating Martin Travieso as acting judge of district court of United States for Puerto Rico.