Query: ¿Qué cantidad de petróleo ha importado Corea del Norte desde Corea del Sur?
Context: "Espero que la operación sea tranquila", añadió ElBaradei. Corea del Sur ha exportado cerca de 50.000 toneladas de petróleo crudo a Corea del Norte, y ésta dijo que comenzaría a cerrar el reactor cuando llegara el petróleo. El petróleo llegaría el 14 de julio a Corea del Norte.