D. Puerto Rico July 1980 cases