Nguyen Duc Hoa has not yet been mentioned.