Question: Which high school hired the head coach of the 1996 Oklahoma State Cowboys football team in 2013?

Context paragraphs:
2013 Oklahoma State Cowboys football team: The 2013 Oklahoma State Cowboys football team represented Oklahoma State University in the 2013 NCAA Division I FBS football season.  The Cowboys were led by ninth year head coach Mike Gundy and played their home games at Boone Pickens Stadium in Stillwater, Oklahoma.  They were a charter member of the Big 12 Conference.  They finished the season 10–3, 7–2 in Big 12 play to finish in a three way for second place.  They were invited to the Cotton Bowl Classic where they lost to Missouri.

Josh Holliday: Josh Holliday (born September 14, 1976) is an American college baseball coach and former professional player in Minor League Baseball.  Currently the head coach of the Oklahoma State Cowboys baseball team, he was hired to this position prior to the 2013 season.  In 2014, Holliday was the Big 12 Conference Baseball Coach of the Year as OSU claimed the conference regular season championship.  Hollidays' Cowboys pulled OSU a little Cowboy baseball tradition out of the fire and faced Oklahoma on the final weekend of 2017.  The team was in danger of missing out of the postseason for the 1st time in Hollidays tenure at Oklahoma State.  The Cowboys swept the instate rival Oklahoma Sooners (#2 seed going into region play) to claim the last and final spot as the 8th seed in the BigXII Championship.  The Cowboys went back to their traditionion and won just the 2nd Big 12 tournament in schools rich baseball history.  The Cowboys won 16 straight Big 8 tournaments before the formation of the Big12.  The Cowboys became the 1st eight seed (last seed) to win the conference championship and by doing so Holliday got his team in the NCAA postseason for the 5th time in his 5 years at the school.  The season was full of injuries from top to bottom Holliday and is associated Head Coach and current (2016) assistant coach of the year Rob Walton put together a pitching staff that was nothing short of magical.  The Cowboys luck would run out as the were sent to the Arkansas Regional and went 0-2 losing game one to Regional champions Missouri State Bears on a two out bottom of the 9th walk off HR.  Garrett Benge hit for the cycle for Hollidays Cowboys but it wasn't enough.  Garrett McCain would be named 1st team all-American the 25th in Cowboys history he would one of five current Cowboys drafted in 2017 preceded by 11 from the 2016 College World Series club.  Giving Holliday 16 in 2 years.  The Cowboys went on the end of the year run the had seen them lose six games in a row and face being the 1st Oklahoma State team to finish under .500 in 40 years.The Cowboys finished 30-27 on the year.  The 6-5 victory of the Texas Longhorns would be Hollidays' 200th victory as the head man of Oklahoma State.

1960 Oklahoma State Cowboys football team: The 1960 Oklahoma State Cowboys football team represented Oklahoma State University–Stillwater during the 1960 college football season.  The 1960 season was Oklahoma State's first as a member of the Big Eight Conference.  In their sixth season under head coach Cliff Speegle, the Cowboys compiled a 3–7 record (2–5 against conference opponents), tied for sixth place in the conference, and were outscored by opponents by a combined total of 126 to 102.

2010 Oklahoma State Cowboys football team: The 2010 Oklahoma State Cowboys football team represented Oklahoma State University in the 2010 NCAA Division I FBS football season.  The team was coached by sixth-year head coach Mike Gundy and played their homes game at Boone Pickens Stadium.  They played in the Big 12 Conference in the South Division.  They finished the year with an 11–2 record (6–2 Big 12) and a 36–10 victory over Arizona in the Alamo Bowl.  Along the way, the Cowboys set a new school record for wins in a season, with 11.  It was also the fourth 10-win season in the Cowboys' 110-year football history; the others came in 1984, 1987 and 1988.

2000 Oklahoma State Cowboys football team: The 2000 Oklahoma State Cowboys football team represented the Oklahoma State University during the 2000 NCAA Division I-A football season.  They participated as members of the Big 12 Conference in the South Division.  They played their home games at Lewis Field in Stillwater, Oklahoma.  They were coached by head coach Bob Simmons, who resigned as the head coach of the Cowboys on November 6, 2000.

1996 Oklahoma State Cowboys football team: The 1996 Oklahoma State Cowboys football team represented the Oklahoma State University during the 1996 NCAA Division I-A football season.  They participated as members of the Big 12 Conference in the South Division.  They played their home games at Lewis Field in Stillwater, Oklahoma.  They were coached by head coach Bob Simmons.

2001 Oklahoma State Cowboys football team: The 2001 Oklahoma State Cowboys football team represented Oklahoma State University in the 2001 NCAA Division I-A football season.  Les Miles was in his first season at Oklahoma State as head coach.  In the three years prior to Miles' arrival in Stillwater, the Cowboys finished 5–6, 5–6, and 3–8.  Oklahoma State posted another losing record (4–7) in Miles' first season at the helm.

Oklahoma State Cowboys football: The Oklahoma State Cowboys football program represents Oklahoma State University–Stillwater in college football.  The team is a member of the Big 12 Conference and competes at the NCAA Division I Football Bowl Subdivision level.  The Cowboys are led by Mike Gundy, who is in his thirteenth year as head coach.  Oklahoma State plays their home games at Boone Pickens Stadium in Stillwater, Oklahoma.

1987 Oklahoma State Cowboys football team: The 1987 Oklahoma State Cowboys football team represented the Oklahoma State University in the 1987 NCAA Division I-A college football season.  The Cowboys finished the regular season with a 9–2 record.  Thurman Thomas was in his senior year for the Cowboys.  In his career at Oklahoma State, Thomas had 897 rushes for 4,595 yards, 43 touchdowns, and 21 100-yard rushing games.  He also a Heisman Trophy candidate and a first team selection on the College Football All-America Team in 1987.  In the 1987 Sun Bowl, Thomas ran for 157 yards and four touchdowns in the 35–33 victory over West Virginia, keeping Barry Sanders on the sidelines for the majority of the game.  Thomas left OSU as the school's all-time leading rusher and his number 34 is one of only three jerseys retired at Oklahoma State.  Sanders replaced Thomas as starter the next year in 1988.

Bob Simmons (American football coach): Bob Simmons (born June 13, 1948) is a former American football player and coach.  He served as the head football coach at Oklahoma State University–Stillwater from 1995 to 2000, compiling a record of 30–38.  In 2013, he was hired as the head football coach at Boulder High School in Boulder, Colorado.

Supporting paragraphs: 1996 Oklahoma State Cowboys football team Bob Simmons (American football coach)
Answer: Boulder High School