3. Ports, shipping and the COVID-19 pandemic