Petra Sells Rough Blue Diamond for Record-Breaking US$ 40 million