"Defunct public high school in the United States" . . . . .