Puerto S:ta Mari !- , som bestod af 7,000 man infanteri , cavall?