20131015 business.personal-finance: What is a flash crash?