Hanoi, Vietnam, cochinchine, Vietnam nord, fleuve rouge