Football and wrestling require many of the same traits. How many District 10 high school football players also wrestle?