Jane Street executives to employees: July was a poor month, trading revenue turned negative for first time since 2016