The United States abandons the Israeli gas pipeline EastMed