[Designating the Honorable Borinquen Marero as Acting Judge of the District Court of the United States for Puerto Rico; July 31, 1947; not published]