a large group of hardened mineralize stones produced by corals which forms a diverse​