en af officerarne på Gibraltars fästning.