What to do about Pakistan?