Distrito Federal (Federal District) was the former name of Mexico City when it served as the capital of Mexico before being officially renamed Ciudad de México (Mexico City) in 2016.
