Интерлагос
The Autódromo José Carlos Pace itself is still commonly called Interlagos, although that has not been its official name since the 1970s, and it is actually located in the district of Cidade Dutra, not Socorro.