海里的珊瑚有多少种