Question: Are both Gautier Benítez High School and Christopher Columbus High School (Miami-Dade County) located in the same country?
Sentence (from "Miami Palmetto High School"): The school has been named a Blue Ribbon School of Excellence.
Relevant evidence: No