I don’t think anything will be worse than that shortstop turning down the double play to throw out the lead runner. The lead runner didn’t matter at all since it was a 2 run game. Just go for the double play