Deja de ser capital cuando se efectivice el traslado de las autoridades nacionales al nuevo Distrito Federal"".