A literary and cultural history of coral—as an essential element of the marine ecosystem, a personal ornament, a global commodity, and a powerful political metaphor