Question: Given the following context:  In 2007, there were about 4,350 schools, about half of which were primary schools; on average, each school had 688 students. In recent years, Istanbul's educational system has expanded substantially; from 2000 to 2007, the number of classrooms and teachers nearly doubled and the number of students increased by more than 60 percent. Galatasaray High School, established in 1481 as the Galata Palace Imperial School, is the oldest high school in Istanbul and the second-oldest educational institution in the city. It was built at the behest of Sultan Bayezid II, who sought to bring students with diverse backgrounds together as a means of strengthening his growing empire. It is one of Turkey's Anatolian High Schools, elite public high schools that place a stronger emphasis on instruction in foreign languages. Galatasaray, for example, offers instruction in French; other Anatolian High Schools primarily teach in English or German alongside Turkish. The city also has foreign high schools, such as Liceo Italiano, that were established in the 19th century to educate foreigners.Kuleli Military High School, along the shores of the Bosphorus in Çengelköy, and Turkish Naval High School, on one of the Princes' Islands, were military high schools, complemented by three military academies—the Turkish Air Force, Turkish Military, and Turkish Naval Academies. Both schools were shut Darüşşafaka High School provides free education to children across the country missing at least one parent. Darüşşafaka begins instruction with the fourth grade, providing instruction in English and, starting in sixth grade, a second foreign language—German or French. Other prominent high schools in the city include Istanbul Lisesi (founded in 1884), Kabataş Erkek Lisesi (founded in 1908) and Kadıköy Anadolu Lisesi (founded in 1955).  answer the following question:  What are the names of the two military high schools?
Answer:
Turkish Naval High School