Dél-koreai hírszerzés: Nagyjából 4700 észak-koreai katona vesztette életét, vagy sebesült meg az ukrajnai háborúban