"Judge of the United States District Court for the District of Puerto Rico" . . . . . .