How much money does it cost to make a single hull oil tanker...?