Cómo fue el operativo que terminó con la vida del líder de Al-Qaeda