Context_1 : Igiugig Airport (IATA: IGG, ICAO: PAIG, FAA LID: IGG) is a state-owned, public-use airport serving Igiugig, in the Lake and Peninsula Borough of the U.S. state of Alaska. Scheduled airline service to King Salmon Airport is provided by Peninsula Airways (PenAir). Context_2 : Tampa International Airport (IATA: TPA, ICAO: KTPA, FAA LID: TPA) is a public airport six miles west of Downtown Tampa, in Hillsborough County, Florida, United States. This airport is publicly owned by Hillsborough County Aviation Authority (HCAA). It has been praised for its architecture and "Landside/Airside" design of a central terminal ("landside") connected by people movers to satellite air terminals and gates ("airsides"), a pioneering concept when designed in the late 1960s. The airport was called Drew Field Municipal Airport until 1952. Context_3 : King Salmon Airport (IATA: AKN, ICAO: PAKN, FAA LID: AKN) is a state owned, public use airport located just southeast of King Salmon, in the Bristol Bay Borough of the U.S. state of Alaska. It was formerly the Naknek Air Force Base, named for its location near the Naknek River. Context_4 : Pilot Point Airport (IATA: PIP, ICAO: PAPN, FAA LID: PNP) is a state-owned, public-use airport located in Pilot Point, a city in the Lake and Peninsula Borough of the U.S. state of Alaska. Scheduled airline service to King Salmon Airport is provided by Peninsula Airways (PenAir). Context_5 : Perryville Airport (IATA: KPV, ICAO: PAPE) is a state-owned, public-use airport located one nautical mile (1.85 km) southwest of the central business district of Perryville, in the Lake and Peninsula Borough of the U.S. state of Alaska. Scheduled airline service to King Salmon Airport is provided by Peninsula Airways (PenAir). Context_6 : Chignik Lagoon Airport (IATA: KCL, FAA LID: KCL) is a state-owned, public-use airport serving Chignik Lagoon, in the Lake and Peninsula Borough of the U.S. state of Alaska. It is also known as Chignik Flats Airport. Scheduled airline service to King Salmon Airport is provided by Peninsula Airways (PenAir). Context_7 : Port Heiden Airport (IATA: PTH, ICAO: PAPH, FAA LID: PTH) is a state owned, public use airport located six nautical miles (7 mi, 11 km) northeast of the central business district of Port Heiden, in the Lake and Peninsula Borough of the U.S. state of Alaska. Scheduled airline service to King Salmon Airport is provided by Peninsula Airways (PenAir). Context_8 : The Tampa International Airport People Movers are a set of four separate automatic people mover systems operating within Tampa International Airport. The people mover systems connect the airport’s main terminal to four satellite airside concourses. The system was the world’s first automated people mover built within an airport. A fifth people mover system, known as SkyConnect, is also being installed to connect the main terminal with the airport’s consolidated rental car center. Context_9 : Ugashik Bay Airport (IATA: UGB, FAA LID: UGB) is a public use airport located 11 nautical miles (13 mi, 20 km) south-southwest of the central business district of Pilot Point, near Ugashik Bay in the Lake and Peninsula Borough of the U.S. state of Alaska. It is owned by the Bureau of Land Management. Scheduled airline service to King Salmon Airport is provided by Peninsula Airways (PenAir). Context_10 : Naknek Air Force Base is a former United States Air Force base located just southeast of King Salmon, in the Bristol Bay Borough of the U.S. state of Alaska. Following its closure, it has since been redeveloped into King Salmon Airport. fact_1 : Tampa International Airport (IATA: TPA, ICAO: KTPA, FAA LID: TPA) is a public airport six miles west of Downtown Tampa, in Hillsborough County, Florida, United States. fact_2 : King Salmon Airport (IATA: AKN, ICAO: PAKN, FAA LID: AKN) is a state owned, public use airport located just southeast of King Salmon, in the Bristol Bay Borough of the U.S. state of Alaska. Question: Are Tampa International Airport and King Salmon Airport both located in the U?
Output: yes