District Manager.
District Manager. The manager of the Coal Mine Safety and Health District in which the mine is located.
Source
30 CFR § 71.2
Scoping language
The following definitions apply in this part.
Is this correct?
or