How Heavy-Tailed is the Distribution of Global Cargo Ship Traffic? | IEEE Conference Publication | IEEE Xplore