Hari Krishna Controls the Diamond Trade: India’s Top Exporter Shatters Records in 2023