Heavy-duty twisted rope, Industrial nylon rope, Tali nylon untuk marin