Ginger Pork Stir Fry (with Mushroom)