1 pound large shrimp, peeled and deveined
2 quarts water
2 tablespoons salt
4 ears of corn, in their husks
2 medium cloves garlic, peeled and minced (about 2 teaspoons)
3/4 cup plain roasted peanuts
2 bird's eye chilies or 1 Serrano chili
1/4 cup dried shrimp (optional)
2 medium tomatoes (about 3/4 pound), cut into 1-inch cubes
1/4 pound green beans, trimmed and cut diagonally into 1-inch pieces
1 cup packed grated carrots
2 limes
1 tablespoon granulated sugar (or more to taste)
1 tablespoon fish sauce (or more to taste)