Source: Sold: the Pink Star diamond sells for $71.2 million, becoming the world’s most expensive gemstone