[Designating the Honorable Martin Travieso as Acting Judge of the District Court of the United States for Puerto Rico; Jan. 13, 1948; not published]