Development of a travelers' diarrhea vaccine for the military: how much is an ounce of prevention really worth?