"La Hormiga" sería rebautizado posteriormente como Los Pinos, residencia oficial del Presidente de México desde 1934 a 2018.