stridskrafter afsändas till Cochinchina.