Heat a wok or large heavy skillet over high heat. Add 2 tablespoons of the peanut oil and swirl to coat the wok. Add the shrimp and stir-fry just until pink, about 2 minutes. Remove shrimp and reserve. Add eggs to wok and scramble until set, but still slightly runny. Remove from pan, breaking into bite-sized pieces, and wipe wok clean.
Return wok to heat, add remaining 2 tablespoons peanut oil, and swirl to coat the wok. Reduce the heat to medium-high, add the onions, garlic, and ginger and stir-fry until onion is half-cooked, 1 minute. Add the red pepper and stir-fry until just tender but still crisp, about 2 minutes. Add the cold rice, quickly spreading it all over the wok and tossing it to heat through, then fry for about 5 to 7 minutes. (Add a little more oil if the rice is sticking.) When the rice is hot, add the peas and toss to heat through, about 1 minute. Add the pork, reserved shrimp, eggs, and salt, and stir fry to heat thoroughly, 1 to 2 minutes. Serve immediately on a large platter.
c.1998, M.S. Milliken & S. Feniger, all rights reserved