Ohio governor faces tough choice for JD Vance's Senate replacement