A craftsman smooths the surface of a ship's hull with a grinder