PUERTO RICO INDUSTRIAL DEVELOPMENT COMPANY CORPORATION