How correct is Ken O'Keefe on Trump?