Thành phố Hồ Chí Minh nên có tên đường Nguyễn Hoàng - Phan Trọng Hiền.