John Witherspoon and the American revolution