Trivia: How often do stocks finish October higher?