'Stonecutters' in the Bible

so he assigned 70,000 men as porters, 80,000 men as stonecutters in the mountains, and 3,600 as supervisors over them.

Solomon made 70,000 of them porters, 80,000 stonecutters in the mountains, and 3,600 supervisors to make the people work.