. . . "Karachi is a sprawling city of at least 18 million people, and members of the Pakistani Taliban in recent years have migrated to the city from the northwest to escape military operations and drone strikes there." .