Insight into Shiga toxin genes encoded by Escherichia coli O157 from whole genome sequencing