US military operations eliminated many top terrorist figures, latest of which was al-Qaeda chief Ayman al-Zawahri