. . "If either the Secretary or the miner or other employee" . . .