However, not all highest courts are named as such. What is an example of a highest court not being specifically called a Supreme Court?