  == MV Sirius Star, Sirius Star or VLCC Sirius Star ==  Spencer has observed that the designation for Sirius Star as a merchant vessel is probably incorrect. But we don't generally add VLCC to a ships name (see for example Exxon Valdez). So what should we do here?   