“the first Michigan-Ohio rivalry”