“And David made him houses in the city of David, and prepared a place for the ark of God, and pitched for it a tent.”