Tewidor, Jacinto. Executive order, designating Jacinto Texidor to temporarily perform duties of judge of district court for Porto Rico.