Red mushrooms (Mycena viscidocruenta) ?