How large was the force of ships and troops that Thrawn had throughout the Thrawn trilogy?