Empezó a llamarse “Villa de Juan Diego”.