The clerk notes satisfaction of a judgment on the docket sheet when any of the
following events occurs:
(a) the judgment creditor or the creditor's attorney of record executes and files
a written satisfaction of judgment;
(b) the marshal files a return of execution showing the judgment the marshal
has collected; or
(c) the judgment is paid into the registry account of the court, but the payment
may only be made after an order of the court authorizes the payment.