Weighing Trump’s Running-Mate Options