PRESIDENT TRUMP: Thank you very much. I just want to make an initial comment that the stock market just hit an all-time record high. It broke, for the first time ever, 23,000. So we're very happy about that. I hope that Greece is going to be doing the same ...