A Short History of the World's Shipping Industry