Covid-19 highlights gaps in smart port development