Conversation so far:
When did William F. Buckley Jr. get married?
He married in 1950
Who did William F. Buckley Jr. marry?
Buckley married Patricia Aldyen Austin Pat Taylor
Did William F. Buckley Jr. and Patricia Aldyen Austin Pat Taylor have any children?
William and Patricia Buckley had one son
What is the William F. Buckley Jr.'s son's name?
Christopher Buckley.

Question: Did he ever get divorced?
Self-contained rewrite: Did William F. Buckley Jr. ever get divorced?