Quick Wok Prawns and Pak Choi