stag\'s-horn coral synonym