I want to know the answer to the following question:
What was the name of the US's Afghanistan operation?
All the background I'm provided with is that "In 2006, Musharraf testified that this stance was pressured by threats from the U.S., and revealed in his memoirs that he had "war-gamed" the United States as an adversary and decided that it would end in a loss for Pakistan.". Is that enough to answer the question?