Why record high gold prices would be bad news for diamond