Should Ohio's presidential primary be moved to St. Patrick's Day?