Microbial quality of shrimp products of export trade produced from aquacultured shrimp.