Or "Green Goblins"... or "Incredible Hulk"...
Whatever fancy name you want to throw out there really. There is no one true common name for any of these corals. Scientific name is the way to go. No confusion. Any common name is just going to be pulled out of the air anyway. I could buy wild colonies all day long and claim they're some LE "insert fancy name here".