Ohio: Clemency appropriately applied by the governor