Oh yes, let's all return to the good old days of George W Bush...
Trump commented on her statement. He did not appear bothered. Her name seemed to be of no importance to him.