What happens if Ohio election results trigger recount, challenge?