Shrimp with broccoli, carrot, and onion, stir-fried with white sauce