Has a president of the United States ever gone through a divorce while in office?