Corea del Norte podría enviar más tropas a Rusia en julio o agosto para la guerra de Ucrania