Elon Musk referenced a Pennsylvania limestone mine where federal employee retirements are processed, but the mine's story is complicated.