Question: Are both Gautier Benítez High School and Christopher Columbus High School (Miami-Dade County) located in the same country?
Sentence (from "Christopher Columbus High School (Miami-Dade County)"): It has over 100 teachers, administrators, faculty, staff, and an enrollment of 1,700 students.
Relevant evidence: No