Tracking the global reduction of marine traffic during the COVID-19 pandemic