an oil tanker can be repaired.