Since the Senate’s not in session and Majority Leader Mitch McConnell’s chamber is right on target to work the fewest number of days in 60 years, the only thing left for GOP senators to do is plan their summer vacations. The main question: To convention or not to convention in July?