Hutchison, Harvey M. Executive order [designating Harvey M. Hutchison to temporarily perform duties of judge of district court for Porto Rico].