20010803 unknown: Russia may resume military ties with N Korea