afgålt med trupper till Cochinchina.