Ohio: 15° distretto congressuale (Elezioni primarie del Partito Repubblicano)