There is no doubt, even in the minds of its most ardent proponents, that shipping pollutes on a grand scale. The global fleet of more than 50,000 vessels – container ships, cruise ships, tankers – produces over a gigatonne of...