Exports in the first quarter of 2017 compared to the first quarter of 2020, in billions of US dollars