Patching the hull of a boat in the water