Ship Speed Optimization Method in Canal Environments Considering Waiting Times for Crossing Locks | Synapse