Divers in the water at Race Rocks Marine Park