Is this coral? What were these beads history?

These beads came across my desk at work. They look like they have coral structures that seem stabilized with resin.



I’m guessing they’re also dyed or at least color enhanced. They’re drilled in the middle and cut on a diagonal. It seems I remember these in tourist shops sometime in the 1970s. Are these coral, imitation, or possibly a different type of coral than what I’m used to seeing from the Mediterranean?