"Tuan is also known as Phan Duc Tho."