La defensa de un puerto comercial: el envío de tropas a Manila en el siglo XVII