Benjamín Ruíz, hasta 1989 cuando fue destruido durante la invasión militar estadounidense a Panamá.