How Rich is Patricia Haines (m. 1955–1962)?