Waagenophyllum (Waagenophyllum) elegantulum He 1989 (horn coral)