fartyg , Amiral Benbow , har i Gibraltars farvattenblifvit