I want to know the answer to the following question:
What is the public high school system called in Mexico City?
All the background I'm provided with is that "Unlike those of Mexican states' schools, curricula of Mexico City's public schools is managed by the federal Secretary of Public Education.". Is that enough to answer the question?