Heritage Auctions sold collectible coins worth $12.4 million at an auction held July 16–18. Summary from source