Revenue ( norskt fartyg ),