Tricholoma portentosum (Agarico portentoso)