Offisielt sier USA at operasjonen skjedde i samarbeid med Pakistan, men en tjenestemann sier anonymt at pakistanske myndigheter ikke ble informert.

Bli abonnent eller logg inn – hvis du allerede er abonnent – for å lese denne artikkelen. Pluss-artikler blir frigitt 24 timer etter publisering. Artikler som er eldre enn to år er forbeholdt abonnenter.