Not for lunch: Mushrooms growing at Watkins Glen State Park