Aunque su nombre oficial es , fue conocido coloquialmente con otros nombres, como , o simplemente .