How Rich is William C. Warren (m. 1942–1947)?