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