Velásquez-Rodríguez v. Honduras, Inter-Am. Ct. H.R. (Ser. C) No. 4 (1988)