Croatian gas platform in the Adriatic lost at sea