Correction: An earlier version of this article said the sale went through Tuesday. It went through Wednesday. This article has been updated to reflect the change.