Is the Sancy diamond called the Sancy because it belonged to Harley de Sancy, or because it weighs six hundred carats?