Y se optó por ese nombre en reemplazo de San Fernando.