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