Después mandó David que se juntasen los extranjeros que estaban en la tierra de Israel, e hizo de ellos canteros, que labrasen piedras para edificar la Casa de Dios.