I could be wrong to say "coral".
@jeeperman could have been all ready to comment but then had to hold back because he didn't want to hurt my feelings after I got that wrong.
So, I'd be guessing it's a Ravenswood, and maybe the closest they come to a coral, so we have sometimes called it a coral. But the ones we most commonly have called corals were thought to be Champion and then they became Alley, and I don't know if the one we called Ravenswood stayed Ravenswood or not.