英国海军出动了多少人