Themis Trading On The SEC's Flash Crash (Non) Report