Oklahoma Police Pension and Retirement System: Allocates to US Real Estate Fund