A recipe that I'm making calls for heavy soy sauce or mushroom soy. Does
anyone know what that is or a substitute for it? Thanks.