Coral reefs of the world (IUCN, 1988)