How Rich is Christine Deveau (m. 1983–1989)?