And David built houses for himself in the city of David, and he established a place for the ark of God. And he pitched a tent for it.