‘The Rock,’ the largest white diamond ever auctioned, falls short of expectations