David commanded to gather together the strangers who were in the land of Israel, and he set stonecutters to hew out stones to build the house of God.