Sources for that? Wikipedia doesn't mention a divorce with his second wife, Dorothy Vanderpool.