Petroleum resource assessment of the East Greenland Basin