General: which u.s. president married his wife before she was officially divorced