Question: Are Corpus Christi International Airport and Vero Beach Regional Airport both located in the United States?
Context: Vero Beach Regional Airport (IATA: VRB, ICAO: KVRB, FAA LID: VRB) is a public airport one mile northwest of Vero Beach in Indian River County, Florida, United States.  The airport is publicly owned and is the home of Piper Aircraft. KMXR (93.9 FM, "Big 93.9") is a radio station broadcasting a classic hits format.  Licensed to Corpus Christi, Texas, United States, the station serves the Corpus Christi area.  The station is currently owned by iHeartMedia, Inc..  The station's studios and offices are located on Old Brownsville Road in Corpus Christi near the airport, and its transmitter tower is located in Robstown, Texas. Corpus Christi Independent School District is a school district based in Corpus Christi, Texas, United States. Corpus Christi ISD will serve 40,000+ students for the 2012-2013 school year.  There are 5 other school districts that also serve the city of Corpus Christi. The city's population was estimated to be 320,434 in 2014, making it the eighth-most populous city in Texas.  The Corpus Christi metropolitan area had an estimated population of 442,600.  It is also the hub of the six-county Corpus Christi-Kingsville-Alice Combined Statistical Area, with a 2013 estimated population of 516,793.  The Port of Corpus Christi is the fifth-largest in the United States.  The region is served by the Corpus Christi International Airport. The Texas A&M–Corpus Christi Islanders baseball team is a varsity intercollegiate athletic team of Texas A&M University–Corpus Christi in Corpus Christi, Texas, United States.  The team is a member of the Southland Conference, which is part of the National Collegiate Athletic Association's Division I.  The team plays its home games at on-campus Chapman Field in Corpus Christi, Texas.  Off-campus Whataburger Field is the home venue for some high-profile games and tournaments.  The Islanders are coached by Scott Malone. Corpus Christi International Airport (IATA: CRP, ICAO: KCRP, FAA LID: CRP) is a city-owned public-use airport five nautical miles (9 km) west of the central business district of Corpus Christi, in Nueces County, Texas, United States. Port of Corpus Christi is the fourth-largest port in the United States in total tonnage.  <ref name= http://www.caller.com/story/news/special-reports/building-our-future/growth/2017/05/26/massive-tankers-arrival-south-texas-makes-history/102010600/.  Port Corpus Christi is located on Corpus Christi Bay in the western Gulf of Mexico, with a straight 45 ft channel.  The port is located close to downtown Corpus Christi in Nueces County, Texas, but the port is not part of the city or the county.  Port Corpus Christi operates without receiving any city, county, or state tax dollars.  It is governed by an unpaid board of seven citizens, three of whom are appointed by the Nueces County Commissioners Court, one by the San Patricio County Commissioners Court, and three by the Corpus Christi City Council.  Port Corpus Christi handles over 6,000 vessels and over 80,000,000 tons of cargo annually.  Environmental initiatives are handled through the port's Environmental Management System (EMS).  To fight crime and terrorism, public safety at Port Corpus Christi is handled by the Port Corpus Christi Police Department and its state-of-the-art security center. Coast Guard Air Station Corpus Christi is an Air Station of the United States Coast Guard located in Corpus Christi, Texas.  The Station is co-located with Sector Corpus Christi offices at Naval Air Station Corpus Christi.  The Coast Guard Air Detachment was established on 20 November 1950, and served the entire western Gulf of Mexico with one PBY-5 Catalina fixed wing aircraft, and four pilots.  In 1965, the detachment was formally designated USCG Air Station Corpus Christi.  Early aircraft consisted of HU-16E Albatross, HH-52A Seaguard helicopter, HC-131 Samaritan, and HU-25A fanjet's.  Following extensive personnel and equipment changes in the operations department, the air station became fully operational on October 15, 1980, and operated as one of thirteen Coast Guard Group units between Port O'Connor, Texas and the Mexican border.  The Station, maintained a 24-hour Search and rescue capability, with the use of three HH-52A helicopters and three HU-25A fanjet's.  The Unit averaged over 400 rescues a year, which included searches for overdue vessels, assisting sinking or disabled boats, and medical evacuations from offshore oil rigs.  In the spring of 1986 the station's HH-52s were replaced with the Aérospatiale HH-65 Dolphin helicopter.  In May 2005 the Coast Guard commissioned Air station Corpus Christi to combine all the units within the area of Port Lavaca to Brownsville under one unified command. KRYS-FM (99.1 FM) is a radio station broadcasting a Country music format.  Licensed to Corpus Christi, Texas, United States, the station serves the Corpus Christi area.  The station is currently owned by iHeartMedia, Inc. and features programming from ABC Radio.  The station's studios and offices are located on Old Brownsville Road in Corpus Christi (near the airport), and its transmitter tower is located in Robstown, Texas. KLTG (96.5 FM, "The Beach 96.5") is a radio station broadcasting an adult top 40 music format.  Licensed to Corpus Christi, Texas, United States, the station serves the Corpus Christi area.  The station is currently owned by Tejas Broadcasting.  Its studios are located in the Six Points district south of downtown Corpus Christi and the transmitter is in Robstown, Texas.
Answer: yes