How they used to repair ships at the time