El barco, a su vez, estaba bautizado así en honor al escritor Don Miguel de Cervantes.