Has a President ever gotten divorced while in office before?