Default Judgment for Sale with a Redemption Period