((a)) When an official receiving public money before it is paid to the Treasury or a disbursing or certifying official of the United States Government does not submit an account or pay the money as prescribed by law, the Comptroller General shall make the account for the official and certify to the Secretary of the Treasury the amount due the Government.

((b)) The Secretary shall issue a distress warrant against the official stating the amount due from the official and any amount paid. The warrant shall be directed to the marshal of the district in which the official resides. If the Secretary intends to take and sell the property of an official that is located in a district other than where the official resides, the warrant shall be directed to the marshal of the district in which the official resides and the marshal of the district in which the property is located.