genus Fungia Synonyms