A colt from the late sire Bernardini shattered several records Tuesday when he brought $3.55 million