ship

(18)“ship” means a vessel of any type whatsoever not permanently attached to the sea-bed, including dynamically supported craft, submersibles, or any other floating craft, but does not include a warship, a ship owned or operated by a government when being used as a naval auxiliary or for customs or police purposes, or a ship which has been withdrawn from navigation or laid up;

Source

18 USC § 2280(d)(18)


Scoping language

As used in this section
Is this correct? or