The Agra Diamond and Two Other Important Coloured Diamonds