It’s July 31. Today should be the trade deadline.