It would later become a part of the Federal District of Mexico City after the Mexican–American War, when this district was expanded.
Det skulle senere blive en del af det føderale distrikt Mexico City efter den mexicanske amerikanske krig, da dette distrikt blev udvidet.