Mike Pence drops out. No one is unhappy