What is the abbreviation for Distrito federal?

Looking for the shorthand of Distrito federal or how to abbreviate it? We have 3 shorthands for Distrito federal.