Quran 89:9

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

— Saheeh International

and the Thamud, who hewed into the rocks in the valley,

— M. A. S. Abdel Haleem

And (with) Thamûd (people), who hewed out rocks in the valley (to make dwellings)?

— Muhammad Muhsin Khan & Muhammad Taqi-ud-Din al-Hilali