Repairing a ship's stern