Iron ore exports grew during the pandemic; everything else fell