Hanoi, Mausoleum des Ho-Chi-Minh,