Exxon tanker, made in Hong Kong, $12.