The speed of ships and shipping productivity in the age of sail | Synapse