Looks like coral to me.
Yea, that is a common missconceprion. So I dont blame anyone for thinking that.
Is a tree that has died still a tree? No, I it is Wood.
Is a dead animal still an animal. No, it is a carcass or possible Meat.
Is a dead plant still a plant. No it is compost. Or maybe a crop
So a coral is The small living tissue that are building the reef. When the coral is dead there are Nothing left but rock. It can be called coralrock in order to adress where it came from. More correct would be cacliumcarbonate rock. But it can never be called a coral. At least if you want to be correct
Most People will not Note the importancy of this. But just as it is important for bonsai enthusiast to distinguish bonsai from trees. Coral reef enthusiasts and also science value the distinction between a rock and a coral. Travel sites still sell trips to places with "coral reefs" where corals have died several years ago and People enjoy diving and snorkling the "coral reefs". Thats fine enjoing it. But it is still not a coral reef. Just as you can enjoy a tree in a pot that is not a bonsai.
Br
Magnus