Kriget i Kochinchina var slutadt.