I know this is irrelevant, but I feel compelled to ask: What kind of mower is it?
I'm glad no one was hurt. I think your pond will be fine, especially if they're removing it this afternoon........hard to say about the mower itself, though. I've had a few in that condition come through the shop.