Student stabbed in struggle at Trabuco Hills High School