What is the largest High school campus by population in America?

Question

I say campus because our town has 3 schools on one property and the children have academic classes at all of them. The student population is over 6,000 students. I am wondering if they are the largest High School Campus in America. Also, if you know of an area that has more than one high school on the same property and students go to all of them, let me know. I am wondering how unique this is.

Answer 1

public or private? or both? what about boarding schools? i found this on another answers question:

The largest school in the United States, is the 5,380-student G. Holmes Braddock Senior High School in Dade County School District, Florida.