Which is exactly what the Hopi and Zuni and even Navajo legends say.
Could the accounts of J. Rod confirm that the Hopi stories of ant people were more than just mythology?