CNN: Donald Trump Jr. and Vanessa Trump are separating

Vanessa Trump has filed for divorce.  The couple has five children.