shigatoxin-producing Escherichia coli (stx2 /25g) in frozen beef from Brazil