There's more than one place called '''Distrito Federal''':
Brazil
Distrito Federal (Brazil)
Mexico
Distrito Federal (Mexico)
Venezuela
Distrito Capital (Distrito Federal) - see the
Caracas
article