Ownership of companies for Ohio-Public Employees Retirement System (PERS)