For most of human history, shipworms, aka Teredo worms, have been a bane to mariners.

Shipworms continued to plague sailors in the Age of Exploration. Most famously, on Columbus’s return from his fourth voyage to America two…