Hot--Sour Mushroom Soup (Tom Yum Het)