Quân đội nước ngoài tại miền Bắc trong chiến tranh Việt Nam