Does Mike Nichols have children?

Can you answer this question?