tododivx que es un distrito federal