The naval school of Halki, still functioning today in the same location.