Order execution speed in a flash crash