Crypto mining malware has been found on two government servers in the South Korean city of Daejeon, an audit has found.