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