A short history of the world's shipping industry