Task: Question Generation
Input (English): Passage: Ireland tends towards independence in foreign policy; thus the country is not a member of NATO and has a longstanding policy of military neutrality. This policy has helped the Irish Defence Forces to be successful in their contributions to peace-keeping missions with the United Nations since 1960, during the Congo Crisis and subsequently in Cyprus, Lebanon and Bosnia and Herzegovina. Despite Irish neutrality during World War II, Ireland had more than 50,000 participants in the war through enlistment in the British armed forces. During the Cold War, Irish military policy, while ostensibly neutral, was biased towards NATO. During the Cuban Missile Crisis, Seán Lemass authorised the search of Cuban and Czechoslovak aircraft passing through Shannon and passed the information to the CIA. Ireland's air facilities were used by the United States military for the delivery of military personnel involved in the 2003 invasion of Iraq through Shannon Airport. The airport had previously been used for the invasion of Afghanistan in 2001, as well as the First Gulf War. Since 1999, Ireland has been a member of NATO's Partnership for Peace  program and NATO's Euro-Atlantic Partnership Council , which is aimed at creating trust between NATO and other states in Europe and the former Soviet Union.
Output (English): How many times mentioned was Shannon airport used by the US military?