Al-Fajr 89:9

And [with] Thamūd, who carved out the rocks in the valley?

— Saheeh International