Portuguese troops destined for Angola, date unknown