A 12-carat pink diamond fetched 135.1 million Hong Kong dollars (US$17.4 million) after a 10-minute bidding war at a Christie’s auction on Tuesday.

Called “the Martian Pink” because of its year of appearance (1976, when the U.S. launched a satellite mission to Mars), the diamond was sold to an unnamed buyer. It was the most expensive item at Christie’s jewelry sale and far exceeded the estimate of HK$65 million to HK$95 million.