Historic diamond sold for $9.7 million at auction