Chagos endemic brain coral (Ctenella chagius), Eagle Island lagoon