Spicy Korean Mushroom Soup with Red Curry and Pak Choi