Should pension funds invest in Detroit real estate?