Laatste rustplaats van Ho Chi Minh, Hanoi 9-5