Trump won't leave graciously, but Pence can and should