Asian Red Mushroom Curry with Pak Choi