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