a dockman ties a large ship with a rope