A 59.6 carat diamond known as the Pink Star has sold for 71.2 million US dollars (£57.2 million) at a Sotheby's auction in Hong Kong, setting a world record for any diamond or jewel, according to the auction house.