You should give us more info on exactly what happened, how long it ran afterwards, and check the flywheel key. It could have sheared and ran fine. Over time the flywheel could slightly move causing these issues.
It doesn't really matter if he has spark. Obviously he has spark if it's starting. He can have spark all day long, but he won't know if it's sparking at the wrong time. A sheared flywheel key has some of the symptoms you are experiencing.
If the engine was abruptly stopped by something shearing in the driveline then I would look into the flywheel key!