Olive oil and the risk of having a stroke in later life