Question: Are Corpus Christi International Airport and Vero Beach Regional Airport both located in the United States?
Sentence (from "Corpus Christi International Airport"): 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.
Relevant evidence: Yes