Have Market Participants Correctly Gauged PEDV Magnitude?