El nombre oficial es Villarrica del Espíritu Santo.