20020523 unknown: Remove armies from the border