Uninstalling and reinstalling all plugins revealed the answer, which I recommend as the first step for addressing this sort of problem.
The problem was apparently due to a conflict between WC-Vendors and another plugin which declared the same class WC_Email_Notify_Shipped. So I disabled WC-Vendors, which we weren’t using at the time.