Durante unas obras para la construcción de un túnel, el INAH identificó también un pequeño puerto y partes del cauce artificial que conectaba con el lago de Texcoco