Trump-appointed federal court judges end Ohio's redistricting battle, side with GOP