Remembering Hanoi's autumn