How open data can help the world better manage coral reefs