The cutting and polishing of the incredible Pink Star diamond