employee
means any person who is employed or working at a
mine
.