People close to Mike Pence say he now faces a choice about how long to stay in the race and whether remaining a candidate might potentially diminish his long-term standing in the party, given Trump's dominating lead.