componente militar de hasta 8.940 efectivos, entre oficiales y tropa, y un