Should there be spring high school football in Ohio?