„1813 hat dieser Sharkus gulosus den Bürgermeister von Puerto Fuerto, Enrico Rosario, gefressen. Zur Abschreckung wurde sein Skelett am Hafen aufgestellt und die Stadt im Andenken an den tragisches Tod des beliebten Bürgermeisters in Puerto del Rosario umbenannt. Die Sache hat ganz offensichtlich auch gewirkt, denn seitdem ist kein Bürgermeister der Stadt mehr von so einem Ungeheuer gefressen worden.“