Thomas Jefferson and the “wall”