A Quantitative Analysis of the Speed of Dutch and British Shipping, 1730-1850