Did the Kentucky Derby stewards get it right?