How Rich is David Portnoy?