This Day in History — October 25