Dinh Độc Lập từng có tên gì?

Dinh Độc Lập mang tên của một người nước ngoài trước khi trở thành biểu tượng lịch sử và điểm đến du lịch nổi tiếng tại TP HCM.