Fartygets namn är numera Gibraltar.