Should high schools name a valedictorian?