Su nombre oficial la vincula también a Santa María de la Estrella.