what type of school is the institution nicknamed seminoles?
public