I always thought coalminer was the codename of Akherson or one of Akkherson's left hand men once he was the main imput of the King Under the Mountain file. It would make sense: He was the one who found Forerunner structure in the coal mines under the center on Reach.