Martinelli agregó a "Radio Panamá" que el barco "venía de Cuba e iba para Corea del Norte".