Historical notes and notable birthdays for today, the 17th of September.