the tafsir of Mujahid. "And We destroyed what Pharaoh and his people were producing and what they were building," meaning: erecting.
Surah al-A'raf from verse (138) to verse (141).