I've seen many Craftsman riders get bogged down by people trying to mow too fast for the grass and crowd the engine. Usually they'll smoke a belt and the blade will stop turning. No engine damage really and no loss of oil, fouling plugs or gas filter needing changed. That clanging shouldnt be coming from inside the engine, but probably the deck or maybe a pulley brake torn loose or in a bind. Pulley rubbing against metal brake perhaps. I'd check the deck. Even if the engine came to a sudden stop it shouldn't be banging and clanging. The re-started engine only ran about 15 seconds and stopped or you shut it off? Did it clang again when you re-started it?