Any vessel documented under the laws of the United States, or any vessel owned in whole or in part by a citizen or a corporation of the United States and not registered or documented by some foreign nation.