Which U.S. agency assigns an official number to a vessel?
Collector of Customs
Treasury Department
Coast Guard
American Bureau of Shipping