Just to add to this one, while letting others decipher the city, the airport code TYS is the giveaway for it being named "Tyson Field".

US airport codes never start with K, N, or W. This is because they were allocated so aircraft-to-ground radio transmissions did not conflict with commercial radio station 3-letter callsigns, which in the US start with these first letters (the system's changed a bit since).

If you thing Washington (DC) is WAS, that is a city code, never used for actual flights. The two airports there are IAD and DCA.

More anoraks on order, alas.