海湾战争英国海军司令是谁