CIA's SAD/SOG found him. SEAL Team 6 DEVGRU went in hot and got em.
You’re being pedantic and deliberately choosing to miss the point.
Enough said.