Y en TLATELOLCO le pusieron como nombre nuevo Juan Diego.