These are from my late brother's dear collection . He purchased these in the late 1980s on a family trip to the Florida Keys. 

I'm not that familiar with specifics regarding corals but these are various shapes and sizes but have the same/ similar pattern. 

Please view photos for sizes