La leggenda di 'Cola Pesce'. Una versione spagnola del secolo XVII