Puerto Rico. Executive order, designating A. R. de Jesus as acting judge of District Court of United States for Puerto Rico.