Foreign-built yachts owned or used by citizens of United States [law subjecting them to tonnage tax].