Su nombre oficial es .