مثلث حلايب الحدودي، مغارة علي بابا المصرية