Fungi Foray

When I was taking Megan, our dog, round the John Muir Woods this morning we came across some really big mushrooms, the size of tennis balls. I tried using an app to identify them but have not had a really confirmed identification. I think they are macrolepiota fungi ( parasol mushrooms) but would welcome your ideas as I don't feel inclined to pay for the pro version of the app.