Ohio State didn’t actually ban El Pres