珊瑚礁是珊瑚虫死后形成的吗（珊瑚礁是珊瑚虫死后形成的吗）