Coal mine operatives