Red Sea’s coral formations host diverse marine life