Esta última, hoy llamada isla del Carmen en el estado de Campeche, México, y que fue en la que sobrevivió uno o quizás dos años el robinsón canino, cambió su nombre el 16 de julio de 1771, día del Carmen: los españoles celebraron así la expulsión de los piratas que, guareciéndose allí, infestaban el golfo de México.