Okra in a pan with cherry tomatoes