Even though 2020 was a difficult year for oil producers, it was still a record high for US oil exports. According to a 20 July update from