Question: The Genève-Servette HC competes in a league know by what name prior to the 2017-2018 season?

full_context: Document 1: Vaillant Arena: Vaillant Arena (Eisstadion Davos) is an arena in Davos, Switzerland. It is primarily used for ice hockey and is the home arena of HC Davos. It holds 7,080 people, of which 3,280 are seated. Every year the Spengler Cup is played in this arena.
Document 2: List of pre-NHL seasons: Prior to the first season of the National Hockey League (NHL), which commenced on December 19, 1917, there had been many seasons of ice hockey played by various amateur and professional leagues, often held contemporaneously, going back to the 1880s, to which the NHL can trace its roots. Below is a list of pre-NHL seasons by ice hockey leagues that are precursors of the National Hockey League.
Document 3: National League (ice hockey): The National League (NL) is a professional ice hockey league in Switzerland. It is the top tier of the Swiss hockey league system and of the two-tier National League. Prior to the 2017–18 season, the league was officially called National League A.
Document 4: HC Davos: Hockey Club Davos is a professional Swiss ice hockey club based in Davos, Switzerland. Davos plays in the National League (NL). The team is usually a strong force in the league and often bolster their roster with Swiss national team players and players who once played for National Hockey League teams. HC Davos also has hosted the annual Spengler Cup tournament, an invitational competition, since 1923.
Document 5: NHL 17: NHL 17 is an ice hockey simulation video game developed by EA Canada and published by EA Sports. It is the 26th installment in the "NHL" game series and was released for the PlayStation 4 and Xbox One consoles on September 13, 2016 in North America and September 15 in Europe.
Document 6: Genève-Servette HC: The Genève-Servette HC (also called "Servette" or "GSHC") is a professional ice hockey club based in Geneva, Switzerland and competing in the National League, the top tier of the Swiss hockey league system. The team plays their home games at the Patinoire des Vernets, which has a seating capacity of 7,135. During the 2015-16 regular season, the GSHC was the fourth most attended team in Switzerland, averaging 6,556 spectators.
Document 7: FC Thun: FC Thun ("Fussballclub Thun 1898") is a Swiss football team from the Bernese Oberland town of Thun. The club currently plays in the Swiss Super League after being promoted in the 2009/10 season. The club plays at the Stockhorn Arena which accommodates a total of 10,000 supporters, both seated and standing. The club's colours are red and white.
Document 8: FC Zürich: Fussballclub Zürich, commonly abbreviated to FC Zürich, FCZ or simply Zürich, is a Swiss football club based in the city of Zürich and currently playing in the Super League, the first tier in the Swiss football league system. The club was founded in 1896 and has won the Swiss Super League 12 times and the Swiss Cup nine times. The club won the 2009 Swiss Super League and last won the Swiss Cup in 2016. They play their home games at the Letzigrund in Zürich, which seats 25,000 spectators. For the women's team see FC Zürich Frauen.
Document 9: Swiss Promotion League: Promotion League is the third tier of the Swiss football league system, below the Swiss Challenge League and above the 1. Liga Classic. Introduced in 2012 the division has 16 teams.
Document 10: Geneva Airport: Geneva Airport (IATA: GVA, ICAO: LSGG) , formerly and still unofficially known as "Cointrin Airport", is the international airport of Geneva, the second most populous city in Switzerland. It is located 4 km northwest of the city centre. It reached 15 million passengers for the first time in December 2014 and serves as a hub for Swiss International Air Lines, easyJet Switzerland and Etihad Regional. Geneva features a route network of flights mainly to European metropolitan and leisure destinations as well as some long-haul routes to North America, China and the Middle East, amongst them Swiss International Air Lines' only long-haul service (to New York City) outside of Zürich.
Document 11: St. Galler Kantonalbank Arena: St. Galler Kantonalbank Arena, formerly the Diners Club Arena, and originally known as Eishalle Lido, is an indoor sporting arena located in Rapperswil, Switzerland. The capacity of the arena is 6,100 and was built in 1987. It is the home arena of the Rapperswil-Jona Lakers ice hockey team. The arena was completely re-done in 2005, and changed its name following corporate sponsorship from Diners Club International. Its name was changed again in 2016 after a new sponsorship deal with naming rights was agreed with St. Galler Kantonalbank.
Document 12: SC Bern: Schlittschuh Club Bern ("Ice-skating Club Bern" in English) is an ice hockey team based in Bern, Switzerland. They play in the National League (NL), the top tier of the Swiss hockey league system. For the 16th time in a row, the club is the most attended team in Europe for the 2016–17 season, averaging 16,399 spectators.
Document 13: National Lacrosse League: The National Lacrosse League (NLL) is a men's professional box lacrosse league in North America. Headquartered in Conshohocken, Pennsylvania, the NLL currently has eleven teams; seven in the United States and four in Canada. Unlike other lacrosse leagues which play in the summer, the NLL plays its games in the winter and spring, from January to June. Each year, the playoff teams battle for the Champion's Cup. The NLL has averaged between 9,400 and 10,700 spectators per game each year since 2004.
Document 14: National Hockey League: The National Hockey League (NHL; French: "Ligue nationale de hockey—LNH" ) is a professional ice hockey league currently comprising 31 teams: 24 in the United States and 7 in Canada. Headquartered in New York City, the NHL is considered to be the premier professional ice hockey league in the world, and one of the major professional sports leagues in the United States and Canada. The Stanley Cup, the oldest professional sports trophy in North America, is awarded annually to the league playoff champion at the end of each season.
Document 15: List of AHL seasons: The American Hockey League is a minor professional ice hockey league in the United States and Canada. It serves as the top developmental league for the National Hockey League. The league played its first season in 1936 as the International-American Hockey League, a "circuit of mutual convenience" formed when the Northeast-based Canadian-American Hockey League and the Midwest-based International Hockey League agreed to play an interlocking schedule. After two seasons, the leagues formally merged into a unified league under the I-AHL name. After the 1939–40 season, the league became known as the American Hockey League.
ground_truth: National League A.