Real coral reefs and artificial reefs