US-Militäraktion gegen Al Kaida: Drahtzieher des USS Cole-Anschlags getötet