The Red Sea is dotted with coral reefs, so probably hence the comment about "another reef".
It has extensive shallow shelves, noted for their marine life and some 200 soft and hard corals, that form the 2000 km of coral reef extending along its coastline.