hade 800 man trupper anländt ftän Rio , och ytterligare 300 man wäntadeS.