HK$451 million: A 15.10-carat Fancy Vivid blue diamond falls at auction in Hong Kong