I want to know the answer to the following question:
When did Spielberg and Irving divorce?
All the background I'm provided with is that "Their divorce was recorded as the third most costly celebrity divorce in history.". Is that enough to answer the question?