All of the world’s shallow coral reefs have been digitally mapped, thanks to a three-year project combining two million satellite images and field data.