‘Pink Star’ diamond fetches record $71.2 mn in Hong Kong