Trump: July 9th date is not set. We can do whatever we want. I'd like to make it shorter.