May the D.C. Controller recoup retirement salary overpayments made to three retired judges of the Superior Court?

Linked as: