20020710 unknown: US to cut strategic warheads to 4;600