Question: What number season of the National Football League was Paul King the umpire on Ronald Torbert's crew?

Context articles: Sarah Thomas (American football official)
Jeff Kellogg
Ronald Torbert
2017 NFL season
Ron Botchan
Len Gardner
Carl Paganelli
Lindsay Johnston (Australian rules footballer)
Lou Palazzi
Paul King (American football official)

Sarah Thomas (born Sarah Bailey) is an American football official, and is currently an official for the National Football League (NFL).
 Thomas was the first woman to officiate a major college football game, the first to officiate a bowl game, and the first to officiate in a Big Ten stadium.
 On April 8, 2015, Thomas was hired as the first full-time female official in NFL history, and for the 2017 season, she is on the officiating crew headed by referee Ronald Torbert.
 Thomas's NFL officiating uniform number is 53, worn in past seasons by umpire Garth DeFelice, line judge Bill Reynolds, and field judge Frank Kirkland.
Jeffrey William Kellogg (born August 29, 1961) is an umpire in Major League Baseball who has worked in the National League from 1991 to 1999 and throughout both major leagues since 2000.
 He wears uniform number 8, formerly worn in the NL by Hall of Fame umpire Doug Harvey from 1962-92.
 For the 2016 season, he was the crew chief of Crew I.
Ronald Torbert is an American football official in the National Football League (NFL) since the 2010 NFL season.
 He wears uniform number 62.
The 2017 NFL season, the 98th and current season in the history of the National Football League (NFL), began on September 7, 2017, with the Kansas City Chiefs defeating the defending Super Bowl LI champion New England Patriots 42–27 in the NFL Kickoff Game.
 The season will conclude with Super Bowl LII, the league's championship game, on February 4, 2018, at U.S. Bank Stadium in Minneapolis, Minnesota.
Ronald Leslie Botchan (born February 15, 1935) is a retired American football official from the National Football League (NFL).
 Prior to that he was an American football linebacker in the American Football League from 1960 to 1962.
 As an official, Botchan worked as an umpire for nearly his entire NFL career and wore the number 110.
 Regarded as the "NFL's best umpire" by the media, Botchan was assigned to a record-number five Super Bowls: XX in 1986, XXVII in 1993, XXIX in 1995, XXXI in 1997, and XXXIV in 2000.
 He was also an alternate in Super Bowl XXVI in 1992, and Super Bowl XXXVI in 2002.
 He rapidly ascended to the NFL ranks after nine years of officiating high school and college games and attributes his success to being "coachable".
Leonard James Gardner (1927 – 1990) was an Australian rules football player and umpire.
 He played for East Perth in the Western Australian National Football League (WANFL) during the 1940s and 1950s before becoming a WANFL umpire.
Carl Paganelli is an American football official in the National Football League (NFL) since the 1999 NFL season, who wears uniform number 124.
 As an umpire, Paganelli is notable for working two Super Bowls, Super Bowl XXXIX and Super Bowl XLI, in a span of three years.
 He officiated his third Super Bowl game, Super Bowl XLVI, in Indianapolis, and was chosen to officiate Super Bowl XLVIII in East Rutherford, New Jersey.
 He has two brothers who officiate in the NFL, Dino Paganelli and Perry Paganelli; they are both back judges.
 Carl Paganelli and Perry Paganelli became the first set of brothers to be part of the same officiating crew when they officiated Super Bowl XLI together.
 Carl Paganelli is a member of the Arena Football Hall of Fame.
Lindsay Johnston (born 12 April 1937) is a former Australian rules football player and umpire.
 He played in the Western Australian National Football League (WANFL) for Swan Districts before becoming a WANFL umpire.
 He appeared in two WANFL Grand Finals, one as a premiership-winning player and one as an umpire.
Louis Joseph Palazzi (June 25, 1921 – January 7, 2007) was an American football player who later officiated from 1952 through 1981 as an umpire in the National Football League (NFL).
 Palazzi was the umpire in three Super Bowls, IV, VII and XI; worked nine NFL championship games, including 1958 championship game between the Baltimore Colts and the New York Giants; and was assigned to work in the postseason in his final 25 seasons in the league.
Paul King is an American football official in the National Football League (NFL) since the 2009 NFL season, wearing uniform number 121.
 He is the umpire on Ronald Torbert's officiating crew for the 2017 NFL season.