Observing an anticyclonic eddy in the South China Sea using multiple underwater gliders