Sauteed Shanghai Pak Choi