Post-traumatic stress disorder was associated with a threefold increased risk for stroke in a Taiwanese National Health Insurance Database