Resuming the operation of the Karish and Leviathan natural gas production platforms