Lima Beans With Okra