Ohio leaders mourning loss of Supreme Court Justice Ruth Bader Ginsburg