Electrically operated safety devices on auxiliary diesel engines function to stop the engine by __________.