1. a collector, the chief revenue official in a District