Blue hole in South China Sea officially world's deepest