Some members of the right-leaning grass-roots movement dubbed the tea party have been slow to support Donald Trump. WSJ's Gerald F. Seib discusses whether they might become reluctant supporters of the presumptive GOP nominee or push for a third-party candidate. Photo: AP