Tommy ( norskt fartyg !,