Shiga toxin-producing E coli: E coli O157